青年学者论坛

第十四届全国软件与应用学术会议将于2015年11月6日至8日在武汉举行，值此国内外计算机科学精英科学家汇聚武汉之际。华中科技大学与CCF武汉分部、CCF YOCSEF武汉联合承办青年学者论坛。以此为平台，组织号召学术界、工业界的青年精英们对计算机科学、计算机软件、计算机应用等方面的前沿问题进行探讨。特别地，本次活动邀请到了来自大连理工大学的江贺博士和南京大学的卜磊博士做专题报告。

活动拟定日程如下：

时间：2015年11月8日13:10-14:50

地点：湖北省武汉市武汉荷田大酒店

报告题目一: 面向Bug仓库挖掘的数据归约与增强

摘要：随着大规模开源软件系统发展，以Bugzilla 为代表的Bug仓库管理了数以百万计的Bug报告。围绕Bug报告的全生命周期，Bug仓库挖掘成为近年研究热点。针对海量Bug 报告中数据冗余和信息缺失并存的现象，本报告首先通过特征选择和实例选择方法，对Bug报告进行数据归约，删除冗余的Bug报告和内容；其次，本报告介绍了基于主题模型的Bug报告增强技术，通过从历史Bug报告中抽取主题相关文本，可以有效解决Bug报告信息缺失的问题。针对两类技术，我们分别在Bug 分派任务上加以验证，实验结果表明通过对Bug 报告的归约和增强，可以有效提升典型Bug 仓库挖掘任务的算法性能

江贺，男，1980年8月出生，大连理工大学教授、博导、教育部新世纪优秀人才、中国计算机学会优秀博士学位论文奖指导教师。主要研究兴趣为基于搜索的软件工程、软件仓库挖掘等。最近5年，先后承担国家自然科学基金3项，973子课题一项。累计在IEEE Transaction系列汇刊（TSE, TKDE, TSMCB, TCYB）等及ICSE, GECCO 等国际会议发表论文60余篇，在科学出版社出版专著一部（第1作者），在人民邮电出版社出版著作1部，在Springer编辑出版论文集2部。担任SCI期刊Applied Intelligence Journal客座编辑、Frontiers of Computer Science 青年编委、中国计算机学会软件工程专委会、中国计算机学会计算机应用专委会委员。2005年获全国花旗奖教金，2008年评为大连市优秀IT教师，2013年获得大连市特等五一奖章，2015年获得九三学社辽宁省十大杰出中青年科技人才称号。

报告题目二：实时和混成系统模型检验技术及应用研究

摘要：实时和混成系统是一类应用广泛的复杂系统，其行为中大量存在离散控制逻辑跳转与连续实时行为交织的混杂情况，复杂性难以控制。在安全攸关领域,如何对这类系统进行有效的分析与验证, 从而保障系统的可靠性和安全性显得十分重要。本报告系统地阐述我们针对实时和混成系统的模型检验技术和工具的研究工作。我们从面向路径验证的角度出发控制验证的复杂性，通过路径中不可行片段的抽取进行状态空间缩减，并进一步利用相关不可行片段将有界性质推广到全局状态空间。我们开发了针对实时混成系统的模型检验工具集BACH。与国际上同类相关工具相比，BACH在公认benchmark上的性能明显超出，获得广泛关注与影响，同时已在列控、医疗、智能家居物联网等多个领域进行应用。

卜磊，卜磊，现任南京大学计算机科学与技术系副教授，于2010年4月毕业于南京大学计算机科学与技术系,获博士学位。主要研究领域是软件工程与形式化方法,侧重于基于模型检验的形式化验证技术,涉及实时、混成和物理融合等复杂系统。研制与开发了面向混成自动机的模型检验工具集BACH，取得广泛影响与关注，并在多个应用领域进行应用。相关工作发表于国际重要期刊与会议上如RTSS、TPDS、CAV、FMSD、DATE、VMCAI、STTT、FMCAD、ICCPS 等，并在领域重要会议FM2014上做Half－Day Tutorial。曾在美国CMU、UTD、欧盟FBK、日本NII、微软亚洲研究院等科研院所与机构进行访学与合作研究，入选2014年度微软亚研铸星计划。主持国家自然科学基金青年、面上、国际合作项目，参与973、863、国家自然科学基金等多个项目。

执行主席：

刘方明，华中科技大学，教授

曾德泽，中国地质大学（武汉），副教授